Markus Müller-Olm: ძიება ვებგვერდზე Z-Library

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ

თავისუფალი წვდომა ცოდნასა და კულტურასთან.

შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024

Z-Library - ერთ-ერთი უდიდესი ონლაინ ბიბლიოთეკა მსოფლიოში, რომელშიც ინახება მეტი 17,000,000 წიგნი და 84,837,000 სტატია. ჩვენ ვისწრაფვით ლიტერატურა ხელმისაწვდომი გახდეს თითოეულისთვის დღეს (15 სექტემბერს 2024) ჩვენ ვიწყებთ შემოწირულობათა დამატებით შეგროვებას პროექტის მხარდასაჭერად და განვითარების ხელშესაწყობად.

ასევე, ულიმიტო ჩამოტვირთვები (შემოწირულების დღიდან 31 დღე) ხელმისაწვდომი იქნება ყველა მომხმარებლისთვის, ვინც შემოწირულობას ჩარიცხავს თანხის მოკრების პერიოდში, 1 ოქტომბერს 2024- მდე.

თანხის შეგროვების შესახებდეტალურად

მხარდაჭერა

გამოყენებულია ფილტრები

ზუსტი შესაბამისობა

ზუსტი შესაბამისობა

1

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Dependable Software Engineering. Theories, Tools, and Applications: 4th International Symposium, SETTA 2018, Beijing, China, September 4-6, 2018, Proceedings

Springer International Publishing

Xinyu Feng, Markus Müller-Olm, Zijiang Yang

წელი:

2018

ენა:

english

ფაილი:

PDF, 14.74 MB

0 / 0

english, 2018

2

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings ... Computer Science and General Issues)

Neil D. Jones, Markus Müller-Olm

წელი:

2009

ენა:

english

ფაილი:

PDF, 5.07 MB

0 / 0

english, 2009

3

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Springer-Verlag Berlin Heidelberg

Markus Müller-Olm (auth.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 1.12 MB

0 / 0

english, 2006

4

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Springer-Verlag Berlin Heidelberg

Markus Müller-Olm (auth.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 3.20 MB

0 / 0

english, 2006

5

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Variations on Constants: Flow Analysis of Sequential and Parallel Programs

Springer-Verlag Berlin Heidelberg

Markus Müller-Olm (auth.)

წელი:

2006

ენა:

english

ფაილი:

PDF, 1.74 MB

0 / 0

english, 2006

6

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction

Springer-Verlag Berlin Heidelberg

Markus Müller-Olm (auth.)

წელი:

1997

ენა:

english

ფაილი:

DJVU, 1.74 MB

0 / 0

english, 1997

7

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Verification, Model Checking, and Abstract Interpretation: 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

E. Allen Emerson (auth.), Neil D. Jones, Markus Müller-Olm (eds.)

წელი:

2009

ენა:

english

ფაილი:

PDF, 3.93 MB

0 / 0

english, 2009

8

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings

Springer International Publishing

Markus Müller-Olm, Helmut Seidl (eds.)

წელი:

2014

ენა:

english

ფაილი:

PDF, 7.18 MB

0 / 0

english, 2014